Symbolic logical

Synonyms for "symbolic logical" (13 found)

Ranked by relevance and common usage.

Closest matches (3)

Noun(3 words)
abstractapplied logicaxiomatic logic

Strong matches (4)

Noun(4 words)
computational logicdeductive logicformalformal deductive logic

Related words (6)

Noun(6 words)
formal logiclogic notationmathematicalmathematical logicsymbolic notationtheoretical

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

11 entries
adjectiveapplied logicbranch of logiccomputer science logicdescriptorfield of studyformal languageformal systemlogical frameworkmodifiernotation system

More specific

14 entries
Hilbert systemautomatic theorem provingformal verificationknowledge representation languagesmodal logicnatural deductionpredicate logicpropositional logicresolution logicsequent calculussymbolic AIsymbolic notationsymbolic proofsymbolic reasoning

Collocations

12 entries
formal logiclogical notationmathematical logicpredicate logicpropositional logicsymbolic logical expressionsymbolic logical frameworksymbolic logical languagesymbolic logical notationsymbolic logical reasoningsymbolic logical systemtruth table

Inflections

1 entries
symbolic logics

Derivations

5 entries